\frame
{
  \frametitle{Project}
  Project: a Java software artifact to be analyzed
  \B
    \item Application classes: scanned for bugs
    \item Auxiliary classes: classes referenced by application
          classes, but not scanned for bugs
      \B
      \item Needed to accurately model exceptions, inheritance hierarchy, etc.
      \E
    \item Source directories: allow mapping of reported warnings
          back to Java source code
  \E
}
